Supervisory Control for Behavior Composition
نویسندگان
چکیده
منابع مشابه
Supervisory Control for Behavior Composition with Constraints
We relate behavior composition, a synthesis task studied in AI, to supervisory control theory from the discrete event systems field. In particular, we show that realizing (i.e., implementing) a target behavior module (e.g., a house surveillance system) by suitably coordinating a collection of available behaviors (e.g., automatic blinds, doors, lights, cameras, etc.) amounts to imposing a superv...
متن کاملSupervisory Control for Nondeterministic Systems Supervisory Control for Nondeterministic Systems
In this paper we present the rst results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is speciied and motivated. A necessary and suucient condition for the existence of a supervisor is derived. Also an algorithm is presented that will automatically generate a supervisor. The results are ex...
متن کاملSupervisory control of heap models using synchronous composition
Heaps models are powerful models for concurrent timed discrete event systems. They admit linear description using dioid algebras. Inspired by supervisory control of logical discrete event systems we introduce parallel composition of heap models, called synchronous product, to formally describe the action of supervisor (represented by another heap model) on the system. This additional explicit c...
متن کاملSupervisory Fuzzy Control for Networked Control Systems
This work presents a supervisory control strategy for Networked Control Systems. This shows the identification and control of a plant using fuzzy theory. The identification is perform through input-output data. The fuzzy model incorporates the delay dynamics within of fuzzy rules. The controller is composed by a nominal control and a proposed supervisory control from the fuzzy model. A system o...
متن کاملPlant Modelling for Human Supervisory Control Plant Modelling for Human Supervisory Control
This paper provides an overview of multilevel flow modelling (MFM) and its application for design of displays for the supervisory control of industrial plant. The problem of designing the inforrrzatian content of sacpervisory displays is discussed and plant representations like MFM using levels of means-end and part-whole. abstractions are proposed as a solution to this design problem. The basi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2017
ISSN: 0018-9286,1558-2523
DOI: 10.1109/tac.2016.2570748